Q{-}R{-}glued(${\it es}$; ${\it Ib\_valtype}$; $f$; ${\it Ia}$; ${\it Qa}$; ${\it Ib}$; ${\it Rb}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$g$:E(${\it Ib}$)$\rightarrow$E. $g$ glues ${\it Ia}$:${\it Qa}$ $--$$f$$\rightarrow$ ${\it Ib}$:${\it Rb}$